Chisel
نویسندگان
چکیده
منابع مشابه
Slicing from Formal Semantics: Chisel
We describe Chisel—a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics. This semantics is assumed to be a rewriting logic specification, given in Maude, while the program is a ground term of this specification. We present the tool on two types of language paradigms: high-level, imperative and low-level assembly l...
متن کاملFormalizing Chisel Specifications
Graphical description techniques are especially useful in the early development phases like requirements engineering. There, often a trail-and-error approach is applied to develop a first system specification. However, even there a precise meaning of those description techniques is necessary, especially in trial-anderror phases based on a service-oriented description of the requirements to chec...
متن کاملLight Chisel: 6DOF Pen Tracking
We present a novel interaction device tracked in 6 degrees of freedom by two commodity cameras. The inexpensive Light Chisel is statically illuminated with two LEDs, and uses no additional sensor (e.g. inertial or magnetic) or means of communication or synchronization. Its form factor is well suited for a screwdriver or chisel grip, allowing the Light Chisel to be rolled between the fingers. Th...
متن کاملFormalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic Specification) is an enhanced version of CHISEL with tightly defined rules for the syntax and static semantics of diagrams. More importantly, CRESS has formal denotations given by SDL (Specification and Description Lang...
متن کاملObjective Analysis of Impressed Chisel Toolmarks.
Historical and recent challenges to the practice of comparative forensic examination have created a driving force for the formation of objective methods for toolmark identification. In this study, fifty sequentially manufactured chisels were used to create impression toolmarks in lead (500 toolmarks total). An algorithm previously used to statistically separate known matching and nonmatching st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2014
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2714064.2660231